0 Prolog
↳1 PrologToPrologProblemTransformerProof (⇒, 89 ms)
↳2 Prolog
↳3 PrologToPiTRSProof (⇒, 8 ms)
↳4 PiTRS
↳5 DependencyPairsProof (⇔, 218 ms)
↳6 PiDP
↳7 DependencyGraphProof (⇔, 0 ms)
↳8 AND
↳9 PiDP
↳10 UsableRulesProof (⇔, 0 ms)
↳11 PiDP
↳12 PiDPToQDPProof (⇔, 0 ms)
↳13 QDP
↳14 QDPSizeChangeProof (⇔, 0 ms)
↳15 YES
↳16 PiDP
↳17 UsableRulesProof (⇔, 0 ms)
↳18 PiDP
↳19 PiDPToQDPProof (⇒, 0 ms)
↳20 QDP
↳21 QDPSizeChangeProof (⇔, 0 ms)
↳22 YES
↳23 PiDP
↳24 UsableRulesProof (⇔, 8 ms)
↳25 PiDP
↳26 PiDPToQDPProof (⇒, 2 ms)
↳27 QDP
↳28 QDPSizeChangeProof (⇔, 0 ms)
↳29 YES
search_treeF_in_g(void) → search_treeF_out_g(void)
search_treeF_in_g(tree(T8, void, void)) → search_treeF_out_g(tree(T8, void, void))
search_treeF_in_g(tree(T17, void, T18)) → U15_g(T17, T18, pA_in_gaag(T18, X50, X51, T17))
pA_in_gaag(T18, X50, X51, T17) → U1_gaag(T18, X50, X51, T17, search_treeB_in_gaa(T18, X50, X51))
search_treeB_in_gaa(tree(T29, void, void), T29, T29) → search_treeB_out_gaa(tree(T29, void, void), T29, T29)
search_treeB_in_gaa(tree(T38, void, T39), T38, X83) → U4_gaa(T38, T39, X83, pA_in_gaag(T39, X82, X83, T38))
pA_in_gaag(T18, T21, T22, T17) → U2_gaag(T18, T21, T22, T17, search_treeB_in_gaa(T18, T21, T22))
search_treeB_in_gaa(tree(T50, T51, void), X108, T50) → U5_gaa(T50, T51, X108, pD_in_gaag(T51, X108, X107, T50))
pD_in_gaag(T51, X108, X107, T50) → U8_gaag(T51, X108, X107, T50, search_treeB_in_gaa(T51, X108, X107))
search_treeB_in_gaa(tree(T66, T67, T68), X138, X139) → U6_gaa(T66, T67, T68, X138, X139, pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139))
pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139) → U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_in_gaa(T67, X138, X136))
U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_out_gaa(T67, X138, X136)) → pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)
pE_in_gaaggaa(T67, T71, T72, T66, T68, X137, X139) → U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
lessC_in_ag(0, s(T87)) → lessC_out_ag(0, s(T87))
lessC_in_ag(s(T92), s(T93)) → U7_ag(T92, T93, lessC_in_ag(T92, T93))
U7_ag(T92, T93, lessC_out_ag(T92, T93)) → lessC_out_ag(s(T92), s(T93))
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_in_gaag(T68, X137, X139, T66))
U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_out_gaag(T68, X137, X139, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U6_gaa(T66, T67, T68, X138, X139, pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)) → search_treeB_out_gaa(tree(T66, T67, T68), X138, X139)
U8_gaag(T51, X108, X107, T50, search_treeB_out_gaa(T51, X108, X107)) → pD_out_gaag(T51, X108, X107, T50)
pD_in_gaag(T51, T54, T55, T50) → U9_gaag(T51, T54, T55, T50, search_treeB_in_gaa(T51, T54, T55))
U9_gaag(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → U10_gaag(T51, T54, T55, T50, lessC_in_ag(T55, T50))
U10_gaag(T51, T54, T55, T50, lessC_out_ag(T55, T50)) → pD_out_gaag(T51, T54, T55, T50)
U5_gaa(T50, T51, X108, pD_out_gaag(T51, X108, X107, T50)) → search_treeB_out_gaa(tree(T50, T51, void), X108, T50)
U2_gaag(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → U3_gaag(T18, T21, T22, T17, lessC_in_gg(T17, T21))
lessC_in_gg(0, s(T87)) → lessC_out_gg(0, s(T87))
lessC_in_gg(s(T92), s(T93)) → U7_gg(T92, T93, lessC_in_gg(T92, T93))
U7_gg(T92, T93, lessC_out_gg(T92, T93)) → lessC_out_gg(s(T92), s(T93))
U3_gaag(T18, T21, T22, T17, lessC_out_gg(T17, T21)) → pA_out_gaag(T18, T21, T22, T17)
U4_gaa(T38, T39, X83, pA_out_gaag(T39, X82, X83, T38)) → search_treeB_out_gaa(tree(T38, void, T39), T38, X83)
U1_gaag(T18, X50, X51, T17, search_treeB_out_gaa(T18, X50, X51)) → pA_out_gaag(T18, X50, X51, T17)
U15_g(T17, T18, pA_out_gaag(T18, X50, X51, T17)) → search_treeF_out_g(tree(T17, void, T18))
search_treeF_in_g(tree(T104, T105, void)) → U16_g(T104, T105, pD_in_gaag(T105, X187, X186, T104))
U16_g(T104, T105, pD_out_gaag(T105, X187, X186, T104)) → search_treeF_out_g(tree(T104, T105, void))
search_treeF_in_g(tree(T114, T115, T116)) → U17_g(T114, T115, T116, pE_in_gaaggaa(T115, X213, X211, T114, T116, X212, X214))
U17_g(T114, T115, T116, pE_out_gaaggaa(T115, X213, X211, T114, T116, X212, X214)) → search_treeF_out_g(tree(T114, T115, T116))
Infinitary Constructor Rewriting Termination of PiTRS implies Termination of Prolog
search_treeF_in_g(void) → search_treeF_out_g(void)
search_treeF_in_g(tree(T8, void, void)) → search_treeF_out_g(tree(T8, void, void))
search_treeF_in_g(tree(T17, void, T18)) → U15_g(T17, T18, pA_in_gaag(T18, X50, X51, T17))
pA_in_gaag(T18, X50, X51, T17) → U1_gaag(T18, X50, X51, T17, search_treeB_in_gaa(T18, X50, X51))
search_treeB_in_gaa(tree(T29, void, void), T29, T29) → search_treeB_out_gaa(tree(T29, void, void), T29, T29)
search_treeB_in_gaa(tree(T38, void, T39), T38, X83) → U4_gaa(T38, T39, X83, pA_in_gaag(T39, X82, X83, T38))
pA_in_gaag(T18, T21, T22, T17) → U2_gaag(T18, T21, T22, T17, search_treeB_in_gaa(T18, T21, T22))
search_treeB_in_gaa(tree(T50, T51, void), X108, T50) → U5_gaa(T50, T51, X108, pD_in_gaag(T51, X108, X107, T50))
pD_in_gaag(T51, X108, X107, T50) → U8_gaag(T51, X108, X107, T50, search_treeB_in_gaa(T51, X108, X107))
search_treeB_in_gaa(tree(T66, T67, T68), X138, X139) → U6_gaa(T66, T67, T68, X138, X139, pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139))
pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139) → U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_in_gaa(T67, X138, X136))
U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_out_gaa(T67, X138, X136)) → pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)
pE_in_gaaggaa(T67, T71, T72, T66, T68, X137, X139) → U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
lessC_in_ag(0, s(T87)) → lessC_out_ag(0, s(T87))
lessC_in_ag(s(T92), s(T93)) → U7_ag(T92, T93, lessC_in_ag(T92, T93))
U7_ag(T92, T93, lessC_out_ag(T92, T93)) → lessC_out_ag(s(T92), s(T93))
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_in_gaag(T68, X137, X139, T66))
U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_out_gaag(T68, X137, X139, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U6_gaa(T66, T67, T68, X138, X139, pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)) → search_treeB_out_gaa(tree(T66, T67, T68), X138, X139)
U8_gaag(T51, X108, X107, T50, search_treeB_out_gaa(T51, X108, X107)) → pD_out_gaag(T51, X108, X107, T50)
pD_in_gaag(T51, T54, T55, T50) → U9_gaag(T51, T54, T55, T50, search_treeB_in_gaa(T51, T54, T55))
U9_gaag(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → U10_gaag(T51, T54, T55, T50, lessC_in_ag(T55, T50))
U10_gaag(T51, T54, T55, T50, lessC_out_ag(T55, T50)) → pD_out_gaag(T51, T54, T55, T50)
U5_gaa(T50, T51, X108, pD_out_gaag(T51, X108, X107, T50)) → search_treeB_out_gaa(tree(T50, T51, void), X108, T50)
U2_gaag(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → U3_gaag(T18, T21, T22, T17, lessC_in_gg(T17, T21))
lessC_in_gg(0, s(T87)) → lessC_out_gg(0, s(T87))
lessC_in_gg(s(T92), s(T93)) → U7_gg(T92, T93, lessC_in_gg(T92, T93))
U7_gg(T92, T93, lessC_out_gg(T92, T93)) → lessC_out_gg(s(T92), s(T93))
U3_gaag(T18, T21, T22, T17, lessC_out_gg(T17, T21)) → pA_out_gaag(T18, T21, T22, T17)
U4_gaa(T38, T39, X83, pA_out_gaag(T39, X82, X83, T38)) → search_treeB_out_gaa(tree(T38, void, T39), T38, X83)
U1_gaag(T18, X50, X51, T17, search_treeB_out_gaa(T18, X50, X51)) → pA_out_gaag(T18, X50, X51, T17)
U15_g(T17, T18, pA_out_gaag(T18, X50, X51, T17)) → search_treeF_out_g(tree(T17, void, T18))
search_treeF_in_g(tree(T104, T105, void)) → U16_g(T104, T105, pD_in_gaag(T105, X187, X186, T104))
U16_g(T104, T105, pD_out_gaag(T105, X187, X186, T104)) → search_treeF_out_g(tree(T104, T105, void))
search_treeF_in_g(tree(T114, T115, T116)) → U17_g(T114, T115, T116, pE_in_gaaggaa(T115, X213, X211, T114, T116, X212, X214))
U17_g(T114, T115, T116, pE_out_gaaggaa(T115, X213, X211, T114, T116, X212, X214)) → search_treeF_out_g(tree(T114, T115, T116))
SEARCH_TREEF_IN_G(tree(T17, void, T18)) → U15_G(T17, T18, pA_in_gaag(T18, X50, X51, T17))
SEARCH_TREEF_IN_G(tree(T17, void, T18)) → PA_IN_GAAG(T18, X50, X51, T17)
PA_IN_GAAG(T18, X50, X51, T17) → U1_GAAG(T18, X50, X51, T17, search_treeB_in_gaa(T18, X50, X51))
PA_IN_GAAG(T18, X50, X51, T17) → SEARCH_TREEB_IN_GAA(T18, X50, X51)
SEARCH_TREEB_IN_GAA(tree(T38, void, T39), T38, X83) → U4_GAA(T38, T39, X83, pA_in_gaag(T39, X82, X83, T38))
SEARCH_TREEB_IN_GAA(tree(T38, void, T39), T38, X83) → PA_IN_GAAG(T39, X82, X83, T38)
PA_IN_GAAG(T18, T21, T22, T17) → U2_GAAG(T18, T21, T22, T17, search_treeB_in_gaa(T18, T21, T22))
SEARCH_TREEB_IN_GAA(tree(T50, T51, void), X108, T50) → U5_GAA(T50, T51, X108, pD_in_gaag(T51, X108, X107, T50))
SEARCH_TREEB_IN_GAA(tree(T50, T51, void), X108, T50) → PD_IN_GAAG(T51, X108, X107, T50)
PD_IN_GAAG(T51, X108, X107, T50) → U8_GAAG(T51, X108, X107, T50, search_treeB_in_gaa(T51, X108, X107))
PD_IN_GAAG(T51, X108, X107, T50) → SEARCH_TREEB_IN_GAA(T51, X108, X107)
SEARCH_TREEB_IN_GAA(tree(T66, T67, T68), X138, X139) → U6_GAA(T66, T67, T68, X138, X139, pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139))
SEARCH_TREEB_IN_GAA(tree(T66, T67, T68), X138, X139) → PE_IN_GAAGGAA(T67, X138, X136, T66, T68, X137, X139)
PE_IN_GAAGGAA(T67, X138, X136, T66, T68, X137, X139) → U11_GAAGGAA(T67, X138, X136, T66, T68, X137, X139, search_treeB_in_gaa(T67, X138, X136))
PE_IN_GAAGGAA(T67, X138, X136, T66, T68, X137, X139) → SEARCH_TREEB_IN_GAA(T67, X138, X136)
PE_IN_GAAGGAA(T67, T71, T72, T66, T68, X137, X139) → U12_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
U12_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → LESSC_IN_AG(T72, T66)
LESSC_IN_AG(s(T92), s(T93)) → U7_AG(T92, T93, lessC_in_ag(T92, T93))
LESSC_IN_AG(s(T92), s(T93)) → LESSC_IN_AG(T92, T93)
U13_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → U14_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, pA_in_gaag(T68, X137, X139, T66))
U13_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → PA_IN_GAAG(T68, X137, X139, T66)
PD_IN_GAAG(T51, T54, T55, T50) → U9_GAAG(T51, T54, T55, T50, search_treeB_in_gaa(T51, T54, T55))
U9_GAAG(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → U10_GAAG(T51, T54, T55, T50, lessC_in_ag(T55, T50))
U9_GAAG(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → LESSC_IN_AG(T55, T50)
U2_GAAG(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → U3_GAAG(T18, T21, T22, T17, lessC_in_gg(T17, T21))
U2_GAAG(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → LESSC_IN_GG(T17, T21)
LESSC_IN_GG(s(T92), s(T93)) → U7_GG(T92, T93, lessC_in_gg(T92, T93))
LESSC_IN_GG(s(T92), s(T93)) → LESSC_IN_GG(T92, T93)
SEARCH_TREEF_IN_G(tree(T104, T105, void)) → U16_G(T104, T105, pD_in_gaag(T105, X187, X186, T104))
SEARCH_TREEF_IN_G(tree(T104, T105, void)) → PD_IN_GAAG(T105, X187, X186, T104)
SEARCH_TREEF_IN_G(tree(T114, T115, T116)) → U17_G(T114, T115, T116, pE_in_gaaggaa(T115, X213, X211, T114, T116, X212, X214))
SEARCH_TREEF_IN_G(tree(T114, T115, T116)) → PE_IN_GAAGGAA(T115, X213, X211, T114, T116, X212, X214)
search_treeF_in_g(void) → search_treeF_out_g(void)
search_treeF_in_g(tree(T8, void, void)) → search_treeF_out_g(tree(T8, void, void))
search_treeF_in_g(tree(T17, void, T18)) → U15_g(T17, T18, pA_in_gaag(T18, X50, X51, T17))
pA_in_gaag(T18, X50, X51, T17) → U1_gaag(T18, X50, X51, T17, search_treeB_in_gaa(T18, X50, X51))
search_treeB_in_gaa(tree(T29, void, void), T29, T29) → search_treeB_out_gaa(tree(T29, void, void), T29, T29)
search_treeB_in_gaa(tree(T38, void, T39), T38, X83) → U4_gaa(T38, T39, X83, pA_in_gaag(T39, X82, X83, T38))
pA_in_gaag(T18, T21, T22, T17) → U2_gaag(T18, T21, T22, T17, search_treeB_in_gaa(T18, T21, T22))
search_treeB_in_gaa(tree(T50, T51, void), X108, T50) → U5_gaa(T50, T51, X108, pD_in_gaag(T51, X108, X107, T50))
pD_in_gaag(T51, X108, X107, T50) → U8_gaag(T51, X108, X107, T50, search_treeB_in_gaa(T51, X108, X107))
search_treeB_in_gaa(tree(T66, T67, T68), X138, X139) → U6_gaa(T66, T67, T68, X138, X139, pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139))
pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139) → U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_in_gaa(T67, X138, X136))
U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_out_gaa(T67, X138, X136)) → pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)
pE_in_gaaggaa(T67, T71, T72, T66, T68, X137, X139) → U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
lessC_in_ag(0, s(T87)) → lessC_out_ag(0, s(T87))
lessC_in_ag(s(T92), s(T93)) → U7_ag(T92, T93, lessC_in_ag(T92, T93))
U7_ag(T92, T93, lessC_out_ag(T92, T93)) → lessC_out_ag(s(T92), s(T93))
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_in_gaag(T68, X137, X139, T66))
U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_out_gaag(T68, X137, X139, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U6_gaa(T66, T67, T68, X138, X139, pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)) → search_treeB_out_gaa(tree(T66, T67, T68), X138, X139)
U8_gaag(T51, X108, X107, T50, search_treeB_out_gaa(T51, X108, X107)) → pD_out_gaag(T51, X108, X107, T50)
pD_in_gaag(T51, T54, T55, T50) → U9_gaag(T51, T54, T55, T50, search_treeB_in_gaa(T51, T54, T55))
U9_gaag(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → U10_gaag(T51, T54, T55, T50, lessC_in_ag(T55, T50))
U10_gaag(T51, T54, T55, T50, lessC_out_ag(T55, T50)) → pD_out_gaag(T51, T54, T55, T50)
U5_gaa(T50, T51, X108, pD_out_gaag(T51, X108, X107, T50)) → search_treeB_out_gaa(tree(T50, T51, void), X108, T50)
U2_gaag(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → U3_gaag(T18, T21, T22, T17, lessC_in_gg(T17, T21))
lessC_in_gg(0, s(T87)) → lessC_out_gg(0, s(T87))
lessC_in_gg(s(T92), s(T93)) → U7_gg(T92, T93, lessC_in_gg(T92, T93))
U7_gg(T92, T93, lessC_out_gg(T92, T93)) → lessC_out_gg(s(T92), s(T93))
U3_gaag(T18, T21, T22, T17, lessC_out_gg(T17, T21)) → pA_out_gaag(T18, T21, T22, T17)
U4_gaa(T38, T39, X83, pA_out_gaag(T39, X82, X83, T38)) → search_treeB_out_gaa(tree(T38, void, T39), T38, X83)
U1_gaag(T18, X50, X51, T17, search_treeB_out_gaa(T18, X50, X51)) → pA_out_gaag(T18, X50, X51, T17)
U15_g(T17, T18, pA_out_gaag(T18, X50, X51, T17)) → search_treeF_out_g(tree(T17, void, T18))
search_treeF_in_g(tree(T104, T105, void)) → U16_g(T104, T105, pD_in_gaag(T105, X187, X186, T104))
U16_g(T104, T105, pD_out_gaag(T105, X187, X186, T104)) → search_treeF_out_g(tree(T104, T105, void))
search_treeF_in_g(tree(T114, T115, T116)) → U17_g(T114, T115, T116, pE_in_gaaggaa(T115, X213, X211, T114, T116, X212, X214))
U17_g(T114, T115, T116, pE_out_gaaggaa(T115, X213, X211, T114, T116, X212, X214)) → search_treeF_out_g(tree(T114, T115, T116))
SEARCH_TREEF_IN_G(tree(T17, void, T18)) → U15_G(T17, T18, pA_in_gaag(T18, X50, X51, T17))
SEARCH_TREEF_IN_G(tree(T17, void, T18)) → PA_IN_GAAG(T18, X50, X51, T17)
PA_IN_GAAG(T18, X50, X51, T17) → U1_GAAG(T18, X50, X51, T17, search_treeB_in_gaa(T18, X50, X51))
PA_IN_GAAG(T18, X50, X51, T17) → SEARCH_TREEB_IN_GAA(T18, X50, X51)
SEARCH_TREEB_IN_GAA(tree(T38, void, T39), T38, X83) → U4_GAA(T38, T39, X83, pA_in_gaag(T39, X82, X83, T38))
SEARCH_TREEB_IN_GAA(tree(T38, void, T39), T38, X83) → PA_IN_GAAG(T39, X82, X83, T38)
PA_IN_GAAG(T18, T21, T22, T17) → U2_GAAG(T18, T21, T22, T17, search_treeB_in_gaa(T18, T21, T22))
SEARCH_TREEB_IN_GAA(tree(T50, T51, void), X108, T50) → U5_GAA(T50, T51, X108, pD_in_gaag(T51, X108, X107, T50))
SEARCH_TREEB_IN_GAA(tree(T50, T51, void), X108, T50) → PD_IN_GAAG(T51, X108, X107, T50)
PD_IN_GAAG(T51, X108, X107, T50) → U8_GAAG(T51, X108, X107, T50, search_treeB_in_gaa(T51, X108, X107))
PD_IN_GAAG(T51, X108, X107, T50) → SEARCH_TREEB_IN_GAA(T51, X108, X107)
SEARCH_TREEB_IN_GAA(tree(T66, T67, T68), X138, X139) → U6_GAA(T66, T67, T68, X138, X139, pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139))
SEARCH_TREEB_IN_GAA(tree(T66, T67, T68), X138, X139) → PE_IN_GAAGGAA(T67, X138, X136, T66, T68, X137, X139)
PE_IN_GAAGGAA(T67, X138, X136, T66, T68, X137, X139) → U11_GAAGGAA(T67, X138, X136, T66, T68, X137, X139, search_treeB_in_gaa(T67, X138, X136))
PE_IN_GAAGGAA(T67, X138, X136, T66, T68, X137, X139) → SEARCH_TREEB_IN_GAA(T67, X138, X136)
PE_IN_GAAGGAA(T67, T71, T72, T66, T68, X137, X139) → U12_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
U12_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → LESSC_IN_AG(T72, T66)
LESSC_IN_AG(s(T92), s(T93)) → U7_AG(T92, T93, lessC_in_ag(T92, T93))
LESSC_IN_AG(s(T92), s(T93)) → LESSC_IN_AG(T92, T93)
U13_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → U14_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, pA_in_gaag(T68, X137, X139, T66))
U13_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → PA_IN_GAAG(T68, X137, X139, T66)
PD_IN_GAAG(T51, T54, T55, T50) → U9_GAAG(T51, T54, T55, T50, search_treeB_in_gaa(T51, T54, T55))
U9_GAAG(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → U10_GAAG(T51, T54, T55, T50, lessC_in_ag(T55, T50))
U9_GAAG(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → LESSC_IN_AG(T55, T50)
U2_GAAG(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → U3_GAAG(T18, T21, T22, T17, lessC_in_gg(T17, T21))
U2_GAAG(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → LESSC_IN_GG(T17, T21)
LESSC_IN_GG(s(T92), s(T93)) → U7_GG(T92, T93, lessC_in_gg(T92, T93))
LESSC_IN_GG(s(T92), s(T93)) → LESSC_IN_GG(T92, T93)
SEARCH_TREEF_IN_G(tree(T104, T105, void)) → U16_G(T104, T105, pD_in_gaag(T105, X187, X186, T104))
SEARCH_TREEF_IN_G(tree(T104, T105, void)) → PD_IN_GAAG(T105, X187, X186, T104)
SEARCH_TREEF_IN_G(tree(T114, T115, T116)) → U17_G(T114, T115, T116, pE_in_gaaggaa(T115, X213, X211, T114, T116, X212, X214))
SEARCH_TREEF_IN_G(tree(T114, T115, T116)) → PE_IN_GAAGGAA(T115, X213, X211, T114, T116, X212, X214)
search_treeF_in_g(void) → search_treeF_out_g(void)
search_treeF_in_g(tree(T8, void, void)) → search_treeF_out_g(tree(T8, void, void))
search_treeF_in_g(tree(T17, void, T18)) → U15_g(T17, T18, pA_in_gaag(T18, X50, X51, T17))
pA_in_gaag(T18, X50, X51, T17) → U1_gaag(T18, X50, X51, T17, search_treeB_in_gaa(T18, X50, X51))
search_treeB_in_gaa(tree(T29, void, void), T29, T29) → search_treeB_out_gaa(tree(T29, void, void), T29, T29)
search_treeB_in_gaa(tree(T38, void, T39), T38, X83) → U4_gaa(T38, T39, X83, pA_in_gaag(T39, X82, X83, T38))
pA_in_gaag(T18, T21, T22, T17) → U2_gaag(T18, T21, T22, T17, search_treeB_in_gaa(T18, T21, T22))
search_treeB_in_gaa(tree(T50, T51, void), X108, T50) → U5_gaa(T50, T51, X108, pD_in_gaag(T51, X108, X107, T50))
pD_in_gaag(T51, X108, X107, T50) → U8_gaag(T51, X108, X107, T50, search_treeB_in_gaa(T51, X108, X107))
search_treeB_in_gaa(tree(T66, T67, T68), X138, X139) → U6_gaa(T66, T67, T68, X138, X139, pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139))
pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139) → U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_in_gaa(T67, X138, X136))
U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_out_gaa(T67, X138, X136)) → pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)
pE_in_gaaggaa(T67, T71, T72, T66, T68, X137, X139) → U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
lessC_in_ag(0, s(T87)) → lessC_out_ag(0, s(T87))
lessC_in_ag(s(T92), s(T93)) → U7_ag(T92, T93, lessC_in_ag(T92, T93))
U7_ag(T92, T93, lessC_out_ag(T92, T93)) → lessC_out_ag(s(T92), s(T93))
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_in_gaag(T68, X137, X139, T66))
U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_out_gaag(T68, X137, X139, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U6_gaa(T66, T67, T68, X138, X139, pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)) → search_treeB_out_gaa(tree(T66, T67, T68), X138, X139)
U8_gaag(T51, X108, X107, T50, search_treeB_out_gaa(T51, X108, X107)) → pD_out_gaag(T51, X108, X107, T50)
pD_in_gaag(T51, T54, T55, T50) → U9_gaag(T51, T54, T55, T50, search_treeB_in_gaa(T51, T54, T55))
U9_gaag(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → U10_gaag(T51, T54, T55, T50, lessC_in_ag(T55, T50))
U10_gaag(T51, T54, T55, T50, lessC_out_ag(T55, T50)) → pD_out_gaag(T51, T54, T55, T50)
U5_gaa(T50, T51, X108, pD_out_gaag(T51, X108, X107, T50)) → search_treeB_out_gaa(tree(T50, T51, void), X108, T50)
U2_gaag(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → U3_gaag(T18, T21, T22, T17, lessC_in_gg(T17, T21))
lessC_in_gg(0, s(T87)) → lessC_out_gg(0, s(T87))
lessC_in_gg(s(T92), s(T93)) → U7_gg(T92, T93, lessC_in_gg(T92, T93))
U7_gg(T92, T93, lessC_out_gg(T92, T93)) → lessC_out_gg(s(T92), s(T93))
U3_gaag(T18, T21, T22, T17, lessC_out_gg(T17, T21)) → pA_out_gaag(T18, T21, T22, T17)
U4_gaa(T38, T39, X83, pA_out_gaag(T39, X82, X83, T38)) → search_treeB_out_gaa(tree(T38, void, T39), T38, X83)
U1_gaag(T18, X50, X51, T17, search_treeB_out_gaa(T18, X50, X51)) → pA_out_gaag(T18, X50, X51, T17)
U15_g(T17, T18, pA_out_gaag(T18, X50, X51, T17)) → search_treeF_out_g(tree(T17, void, T18))
search_treeF_in_g(tree(T104, T105, void)) → U16_g(T104, T105, pD_in_gaag(T105, X187, X186, T104))
U16_g(T104, T105, pD_out_gaag(T105, X187, X186, T104)) → search_treeF_out_g(tree(T104, T105, void))
search_treeF_in_g(tree(T114, T115, T116)) → U17_g(T114, T115, T116, pE_in_gaaggaa(T115, X213, X211, T114, T116, X212, X214))
U17_g(T114, T115, T116, pE_out_gaaggaa(T115, X213, X211, T114, T116, X212, X214)) → search_treeF_out_g(tree(T114, T115, T116))
LESSC_IN_GG(s(T92), s(T93)) → LESSC_IN_GG(T92, T93)
search_treeF_in_g(void) → search_treeF_out_g(void)
search_treeF_in_g(tree(T8, void, void)) → search_treeF_out_g(tree(T8, void, void))
search_treeF_in_g(tree(T17, void, T18)) → U15_g(T17, T18, pA_in_gaag(T18, X50, X51, T17))
pA_in_gaag(T18, X50, X51, T17) → U1_gaag(T18, X50, X51, T17, search_treeB_in_gaa(T18, X50, X51))
search_treeB_in_gaa(tree(T29, void, void), T29, T29) → search_treeB_out_gaa(tree(T29, void, void), T29, T29)
search_treeB_in_gaa(tree(T38, void, T39), T38, X83) → U4_gaa(T38, T39, X83, pA_in_gaag(T39, X82, X83, T38))
pA_in_gaag(T18, T21, T22, T17) → U2_gaag(T18, T21, T22, T17, search_treeB_in_gaa(T18, T21, T22))
search_treeB_in_gaa(tree(T50, T51, void), X108, T50) → U5_gaa(T50, T51, X108, pD_in_gaag(T51, X108, X107, T50))
pD_in_gaag(T51, X108, X107, T50) → U8_gaag(T51, X108, X107, T50, search_treeB_in_gaa(T51, X108, X107))
search_treeB_in_gaa(tree(T66, T67, T68), X138, X139) → U6_gaa(T66, T67, T68, X138, X139, pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139))
pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139) → U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_in_gaa(T67, X138, X136))
U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_out_gaa(T67, X138, X136)) → pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)
pE_in_gaaggaa(T67, T71, T72, T66, T68, X137, X139) → U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
lessC_in_ag(0, s(T87)) → lessC_out_ag(0, s(T87))
lessC_in_ag(s(T92), s(T93)) → U7_ag(T92, T93, lessC_in_ag(T92, T93))
U7_ag(T92, T93, lessC_out_ag(T92, T93)) → lessC_out_ag(s(T92), s(T93))
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_in_gaag(T68, X137, X139, T66))
U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_out_gaag(T68, X137, X139, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U6_gaa(T66, T67, T68, X138, X139, pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)) → search_treeB_out_gaa(tree(T66, T67, T68), X138, X139)
U8_gaag(T51, X108, X107, T50, search_treeB_out_gaa(T51, X108, X107)) → pD_out_gaag(T51, X108, X107, T50)
pD_in_gaag(T51, T54, T55, T50) → U9_gaag(T51, T54, T55, T50, search_treeB_in_gaa(T51, T54, T55))
U9_gaag(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → U10_gaag(T51, T54, T55, T50, lessC_in_ag(T55, T50))
U10_gaag(T51, T54, T55, T50, lessC_out_ag(T55, T50)) → pD_out_gaag(T51, T54, T55, T50)
U5_gaa(T50, T51, X108, pD_out_gaag(T51, X108, X107, T50)) → search_treeB_out_gaa(tree(T50, T51, void), X108, T50)
U2_gaag(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → U3_gaag(T18, T21, T22, T17, lessC_in_gg(T17, T21))
lessC_in_gg(0, s(T87)) → lessC_out_gg(0, s(T87))
lessC_in_gg(s(T92), s(T93)) → U7_gg(T92, T93, lessC_in_gg(T92, T93))
U7_gg(T92, T93, lessC_out_gg(T92, T93)) → lessC_out_gg(s(T92), s(T93))
U3_gaag(T18, T21, T22, T17, lessC_out_gg(T17, T21)) → pA_out_gaag(T18, T21, T22, T17)
U4_gaa(T38, T39, X83, pA_out_gaag(T39, X82, X83, T38)) → search_treeB_out_gaa(tree(T38, void, T39), T38, X83)
U1_gaag(T18, X50, X51, T17, search_treeB_out_gaa(T18, X50, X51)) → pA_out_gaag(T18, X50, X51, T17)
U15_g(T17, T18, pA_out_gaag(T18, X50, X51, T17)) → search_treeF_out_g(tree(T17, void, T18))
search_treeF_in_g(tree(T104, T105, void)) → U16_g(T104, T105, pD_in_gaag(T105, X187, X186, T104))
U16_g(T104, T105, pD_out_gaag(T105, X187, X186, T104)) → search_treeF_out_g(tree(T104, T105, void))
search_treeF_in_g(tree(T114, T115, T116)) → U17_g(T114, T115, T116, pE_in_gaaggaa(T115, X213, X211, T114, T116, X212, X214))
U17_g(T114, T115, T116, pE_out_gaaggaa(T115, X213, X211, T114, T116, X212, X214)) → search_treeF_out_g(tree(T114, T115, T116))
LESSC_IN_GG(s(T92), s(T93)) → LESSC_IN_GG(T92, T93)
LESSC_IN_GG(s(T92), s(T93)) → LESSC_IN_GG(T92, T93)
From the DPs we obtained the following set of size-change graphs:
LESSC_IN_AG(s(T92), s(T93)) → LESSC_IN_AG(T92, T93)
search_treeF_in_g(void) → search_treeF_out_g(void)
search_treeF_in_g(tree(T8, void, void)) → search_treeF_out_g(tree(T8, void, void))
search_treeF_in_g(tree(T17, void, T18)) → U15_g(T17, T18, pA_in_gaag(T18, X50, X51, T17))
pA_in_gaag(T18, X50, X51, T17) → U1_gaag(T18, X50, X51, T17, search_treeB_in_gaa(T18, X50, X51))
search_treeB_in_gaa(tree(T29, void, void), T29, T29) → search_treeB_out_gaa(tree(T29, void, void), T29, T29)
search_treeB_in_gaa(tree(T38, void, T39), T38, X83) → U4_gaa(T38, T39, X83, pA_in_gaag(T39, X82, X83, T38))
pA_in_gaag(T18, T21, T22, T17) → U2_gaag(T18, T21, T22, T17, search_treeB_in_gaa(T18, T21, T22))
search_treeB_in_gaa(tree(T50, T51, void), X108, T50) → U5_gaa(T50, T51, X108, pD_in_gaag(T51, X108, X107, T50))
pD_in_gaag(T51, X108, X107, T50) → U8_gaag(T51, X108, X107, T50, search_treeB_in_gaa(T51, X108, X107))
search_treeB_in_gaa(tree(T66, T67, T68), X138, X139) → U6_gaa(T66, T67, T68, X138, X139, pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139))
pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139) → U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_in_gaa(T67, X138, X136))
U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_out_gaa(T67, X138, X136)) → pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)
pE_in_gaaggaa(T67, T71, T72, T66, T68, X137, X139) → U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
lessC_in_ag(0, s(T87)) → lessC_out_ag(0, s(T87))
lessC_in_ag(s(T92), s(T93)) → U7_ag(T92, T93, lessC_in_ag(T92, T93))
U7_ag(T92, T93, lessC_out_ag(T92, T93)) → lessC_out_ag(s(T92), s(T93))
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_in_gaag(T68, X137, X139, T66))
U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_out_gaag(T68, X137, X139, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U6_gaa(T66, T67, T68, X138, X139, pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)) → search_treeB_out_gaa(tree(T66, T67, T68), X138, X139)
U8_gaag(T51, X108, X107, T50, search_treeB_out_gaa(T51, X108, X107)) → pD_out_gaag(T51, X108, X107, T50)
pD_in_gaag(T51, T54, T55, T50) → U9_gaag(T51, T54, T55, T50, search_treeB_in_gaa(T51, T54, T55))
U9_gaag(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → U10_gaag(T51, T54, T55, T50, lessC_in_ag(T55, T50))
U10_gaag(T51, T54, T55, T50, lessC_out_ag(T55, T50)) → pD_out_gaag(T51, T54, T55, T50)
U5_gaa(T50, T51, X108, pD_out_gaag(T51, X108, X107, T50)) → search_treeB_out_gaa(tree(T50, T51, void), X108, T50)
U2_gaag(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → U3_gaag(T18, T21, T22, T17, lessC_in_gg(T17, T21))
lessC_in_gg(0, s(T87)) → lessC_out_gg(0, s(T87))
lessC_in_gg(s(T92), s(T93)) → U7_gg(T92, T93, lessC_in_gg(T92, T93))
U7_gg(T92, T93, lessC_out_gg(T92, T93)) → lessC_out_gg(s(T92), s(T93))
U3_gaag(T18, T21, T22, T17, lessC_out_gg(T17, T21)) → pA_out_gaag(T18, T21, T22, T17)
U4_gaa(T38, T39, X83, pA_out_gaag(T39, X82, X83, T38)) → search_treeB_out_gaa(tree(T38, void, T39), T38, X83)
U1_gaag(T18, X50, X51, T17, search_treeB_out_gaa(T18, X50, X51)) → pA_out_gaag(T18, X50, X51, T17)
U15_g(T17, T18, pA_out_gaag(T18, X50, X51, T17)) → search_treeF_out_g(tree(T17, void, T18))
search_treeF_in_g(tree(T104, T105, void)) → U16_g(T104, T105, pD_in_gaag(T105, X187, X186, T104))
U16_g(T104, T105, pD_out_gaag(T105, X187, X186, T104)) → search_treeF_out_g(tree(T104, T105, void))
search_treeF_in_g(tree(T114, T115, T116)) → U17_g(T114, T115, T116, pE_in_gaaggaa(T115, X213, X211, T114, T116, X212, X214))
U17_g(T114, T115, T116, pE_out_gaaggaa(T115, X213, X211, T114, T116, X212, X214)) → search_treeF_out_g(tree(T114, T115, T116))
LESSC_IN_AG(s(T92), s(T93)) → LESSC_IN_AG(T92, T93)
LESSC_IN_AG(s(T93)) → LESSC_IN_AG(T93)
From the DPs we obtained the following set of size-change graphs:
PA_IN_GAAG(T18, X50, X51, T17) → SEARCH_TREEB_IN_GAA(T18, X50, X51)
SEARCH_TREEB_IN_GAA(tree(T38, void, T39), T38, X83) → PA_IN_GAAG(T39, X82, X83, T38)
SEARCH_TREEB_IN_GAA(tree(T50, T51, void), X108, T50) → PD_IN_GAAG(T51, X108, X107, T50)
PD_IN_GAAG(T51, X108, X107, T50) → SEARCH_TREEB_IN_GAA(T51, X108, X107)
SEARCH_TREEB_IN_GAA(tree(T66, T67, T68), X138, X139) → PE_IN_GAAGGAA(T67, X138, X136, T66, T68, X137, X139)
PE_IN_GAAGGAA(T67, X138, X136, T66, T68, X137, X139) → SEARCH_TREEB_IN_GAA(T67, X138, X136)
PE_IN_GAAGGAA(T67, T71, T72, T66, T68, X137, X139) → U12_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
U13_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → PA_IN_GAAG(T68, X137, X139, T66)
search_treeF_in_g(void) → search_treeF_out_g(void)
search_treeF_in_g(tree(T8, void, void)) → search_treeF_out_g(tree(T8, void, void))
search_treeF_in_g(tree(T17, void, T18)) → U15_g(T17, T18, pA_in_gaag(T18, X50, X51, T17))
pA_in_gaag(T18, X50, X51, T17) → U1_gaag(T18, X50, X51, T17, search_treeB_in_gaa(T18, X50, X51))
search_treeB_in_gaa(tree(T29, void, void), T29, T29) → search_treeB_out_gaa(tree(T29, void, void), T29, T29)
search_treeB_in_gaa(tree(T38, void, T39), T38, X83) → U4_gaa(T38, T39, X83, pA_in_gaag(T39, X82, X83, T38))
pA_in_gaag(T18, T21, T22, T17) → U2_gaag(T18, T21, T22, T17, search_treeB_in_gaa(T18, T21, T22))
search_treeB_in_gaa(tree(T50, T51, void), X108, T50) → U5_gaa(T50, T51, X108, pD_in_gaag(T51, X108, X107, T50))
pD_in_gaag(T51, X108, X107, T50) → U8_gaag(T51, X108, X107, T50, search_treeB_in_gaa(T51, X108, X107))
search_treeB_in_gaa(tree(T66, T67, T68), X138, X139) → U6_gaa(T66, T67, T68, X138, X139, pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139))
pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139) → U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_in_gaa(T67, X138, X136))
U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_out_gaa(T67, X138, X136)) → pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)
pE_in_gaaggaa(T67, T71, T72, T66, T68, X137, X139) → U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
lessC_in_ag(0, s(T87)) → lessC_out_ag(0, s(T87))
lessC_in_ag(s(T92), s(T93)) → U7_ag(T92, T93, lessC_in_ag(T92, T93))
U7_ag(T92, T93, lessC_out_ag(T92, T93)) → lessC_out_ag(s(T92), s(T93))
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_in_gaag(T68, X137, X139, T66))
U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_out_gaag(T68, X137, X139, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U6_gaa(T66, T67, T68, X138, X139, pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)) → search_treeB_out_gaa(tree(T66, T67, T68), X138, X139)
U8_gaag(T51, X108, X107, T50, search_treeB_out_gaa(T51, X108, X107)) → pD_out_gaag(T51, X108, X107, T50)
pD_in_gaag(T51, T54, T55, T50) → U9_gaag(T51, T54, T55, T50, search_treeB_in_gaa(T51, T54, T55))
U9_gaag(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → U10_gaag(T51, T54, T55, T50, lessC_in_ag(T55, T50))
U10_gaag(T51, T54, T55, T50, lessC_out_ag(T55, T50)) → pD_out_gaag(T51, T54, T55, T50)
U5_gaa(T50, T51, X108, pD_out_gaag(T51, X108, X107, T50)) → search_treeB_out_gaa(tree(T50, T51, void), X108, T50)
U2_gaag(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → U3_gaag(T18, T21, T22, T17, lessC_in_gg(T17, T21))
lessC_in_gg(0, s(T87)) → lessC_out_gg(0, s(T87))
lessC_in_gg(s(T92), s(T93)) → U7_gg(T92, T93, lessC_in_gg(T92, T93))
U7_gg(T92, T93, lessC_out_gg(T92, T93)) → lessC_out_gg(s(T92), s(T93))
U3_gaag(T18, T21, T22, T17, lessC_out_gg(T17, T21)) → pA_out_gaag(T18, T21, T22, T17)
U4_gaa(T38, T39, X83, pA_out_gaag(T39, X82, X83, T38)) → search_treeB_out_gaa(tree(T38, void, T39), T38, X83)
U1_gaag(T18, X50, X51, T17, search_treeB_out_gaa(T18, X50, X51)) → pA_out_gaag(T18, X50, X51, T17)
U15_g(T17, T18, pA_out_gaag(T18, X50, X51, T17)) → search_treeF_out_g(tree(T17, void, T18))
search_treeF_in_g(tree(T104, T105, void)) → U16_g(T104, T105, pD_in_gaag(T105, X187, X186, T104))
U16_g(T104, T105, pD_out_gaag(T105, X187, X186, T104)) → search_treeF_out_g(tree(T104, T105, void))
search_treeF_in_g(tree(T114, T115, T116)) → U17_g(T114, T115, T116, pE_in_gaaggaa(T115, X213, X211, T114, T116, X212, X214))
U17_g(T114, T115, T116, pE_out_gaaggaa(T115, X213, X211, T114, T116, X212, X214)) → search_treeF_out_g(tree(T114, T115, T116))
PA_IN_GAAG(T18, X50, X51, T17) → SEARCH_TREEB_IN_GAA(T18, X50, X51)
SEARCH_TREEB_IN_GAA(tree(T38, void, T39), T38, X83) → PA_IN_GAAG(T39, X82, X83, T38)
SEARCH_TREEB_IN_GAA(tree(T50, T51, void), X108, T50) → PD_IN_GAAG(T51, X108, X107, T50)
PD_IN_GAAG(T51, X108, X107, T50) → SEARCH_TREEB_IN_GAA(T51, X108, X107)
SEARCH_TREEB_IN_GAA(tree(T66, T67, T68), X138, X139) → PE_IN_GAAGGAA(T67, X138, X136, T66, T68, X137, X139)
PE_IN_GAAGGAA(T67, X138, X136, T66, T68, X137, X139) → SEARCH_TREEB_IN_GAA(T67, X138, X136)
PE_IN_GAAGGAA(T67, T71, T72, T66, T68, X137, X139) → U12_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U12_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
U13_GAAGGAA(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → PA_IN_GAAG(T68, X137, X139, T66)
search_treeB_in_gaa(tree(T29, void, void), T29, T29) → search_treeB_out_gaa(tree(T29, void, void), T29, T29)
search_treeB_in_gaa(tree(T38, void, T39), T38, X83) → U4_gaa(T38, T39, X83, pA_in_gaag(T39, X82, X83, T38))
search_treeB_in_gaa(tree(T50, T51, void), X108, T50) → U5_gaa(T50, T51, X108, pD_in_gaag(T51, X108, X107, T50))
search_treeB_in_gaa(tree(T66, T67, T68), X138, X139) → U6_gaa(T66, T67, T68, X138, X139, pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139))
lessC_in_ag(0, s(T87)) → lessC_out_ag(0, s(T87))
lessC_in_ag(s(T92), s(T93)) → U7_ag(T92, T93, lessC_in_ag(T92, T93))
U4_gaa(T38, T39, X83, pA_out_gaag(T39, X82, X83, T38)) → search_treeB_out_gaa(tree(T38, void, T39), T38, X83)
U5_gaa(T50, T51, X108, pD_out_gaag(T51, X108, X107, T50)) → search_treeB_out_gaa(tree(T50, T51, void), X108, T50)
U6_gaa(T66, T67, T68, X138, X139, pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)) → search_treeB_out_gaa(tree(T66, T67, T68), X138, X139)
U7_ag(T92, T93, lessC_out_ag(T92, T93)) → lessC_out_ag(s(T92), s(T93))
pA_in_gaag(T18, X50, X51, T17) → U1_gaag(T18, X50, X51, T17, search_treeB_in_gaa(T18, X50, X51))
pA_in_gaag(T18, T21, T22, T17) → U2_gaag(T18, T21, T22, T17, search_treeB_in_gaa(T18, T21, T22))
pD_in_gaag(T51, X108, X107, T50) → U8_gaag(T51, X108, X107, T50, search_treeB_in_gaa(T51, X108, X107))
pD_in_gaag(T51, T54, T55, T50) → U9_gaag(T51, T54, T55, T50, search_treeB_in_gaa(T51, T54, T55))
pE_in_gaaggaa(T67, X138, X136, T66, T68, X137, X139) → U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_in_gaa(T67, X138, X136))
pE_in_gaaggaa(T67, T71, T72, T66, T68, X137, X139) → U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_in_gaa(T67, T71, T72))
U1_gaag(T18, X50, X51, T17, search_treeB_out_gaa(T18, X50, X51)) → pA_out_gaag(T18, X50, X51, T17)
U2_gaag(T18, T21, T22, T17, search_treeB_out_gaa(T18, T21, T22)) → U3_gaag(T18, T21, T22, T17, lessC_in_gg(T17, T21))
U8_gaag(T51, X108, X107, T50, search_treeB_out_gaa(T51, X108, X107)) → pD_out_gaag(T51, X108, X107, T50)
U9_gaag(T51, T54, T55, T50, search_treeB_out_gaa(T51, T54, T55)) → U10_gaag(T51, T54, T55, T50, lessC_in_ag(T55, T50))
U11_gaaggaa(T67, X138, X136, T66, T68, X137, X139, search_treeB_out_gaa(T67, X138, X136)) → pE_out_gaaggaa(T67, X138, X136, T66, T68, X137, X139)
U12_gaaggaa(T67, T71, T72, T66, T68, X137, X139, search_treeB_out_gaa(T67, T71, T72)) → U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_in_ag(T72, T66))
U3_gaag(T18, T21, T22, T17, lessC_out_gg(T17, T21)) → pA_out_gaag(T18, T21, T22, T17)
U10_gaag(T51, T54, T55, T50, lessC_out_ag(T55, T50)) → pD_out_gaag(T51, T54, T55, T50)
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U13_gaaggaa(T67, T71, T72, T66, T68, X137, X139, lessC_out_ag(T72, T66)) → U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_in_gaag(T68, X137, X139, T66))
lessC_in_gg(0, s(T87)) → lessC_out_gg(0, s(T87))
lessC_in_gg(s(T92), s(T93)) → U7_gg(T92, T93, lessC_in_gg(T92, T93))
U14_gaaggaa(T67, T71, T72, T66, T68, X137, X139, pA_out_gaag(T68, X137, X139, T66)) → pE_out_gaaggaa(T67, T71, T72, T66, T68, X137, X139)
U7_gg(T92, T93, lessC_out_gg(T92, T93)) → lessC_out_gg(s(T92), s(T93))
PA_IN_GAAG(T18, T17) → SEARCH_TREEB_IN_GAA(T18)
SEARCH_TREEB_IN_GAA(tree(T38, void, T39)) → PA_IN_GAAG(T39, T38)
SEARCH_TREEB_IN_GAA(tree(T50, T51, void)) → PD_IN_GAAG(T51, T50)
PD_IN_GAAG(T51, T50) → SEARCH_TREEB_IN_GAA(T51)
SEARCH_TREEB_IN_GAA(tree(T66, T67, T68)) → PE_IN_GAAGGAA(T67, T66, T68)
PE_IN_GAAGGAA(T67, T66, T68) → SEARCH_TREEB_IN_GAA(T67)
PE_IN_GAAGGAA(T67, T66, T68) → U12_GAAGGAA(T66, T68, search_treeB_in_gaa(T67))
U12_GAAGGAA(T66, T68, search_treeB_out_gaa(T71)) → U13_GAAGGAA(T71, T66, T68, lessC_in_ag(T66))
U13_GAAGGAA(T71, T66, T68, lessC_out_ag(T72)) → PA_IN_GAAG(T68, T66)
search_treeB_in_gaa(tree(T29, void, void)) → search_treeB_out_gaa(T29)
search_treeB_in_gaa(tree(T38, void, T39)) → U4_gaa(T38, pA_in_gaag(T39, T38))
search_treeB_in_gaa(tree(T50, T51, void)) → U5_gaa(pD_in_gaag(T51, T50))
search_treeB_in_gaa(tree(T66, T67, T68)) → U6_gaa(pE_in_gaaggaa(T67, T66, T68))
lessC_in_ag(s(T87)) → lessC_out_ag(0)
lessC_in_ag(s(T93)) → U7_ag(lessC_in_ag(T93))
U4_gaa(T38, pA_out_gaag(X82)) → search_treeB_out_gaa(T38)
U5_gaa(pD_out_gaag(X108)) → search_treeB_out_gaa(X108)
U6_gaa(pE_out_gaaggaa(X138)) → search_treeB_out_gaa(X138)
U7_ag(lessC_out_ag(T92)) → lessC_out_ag(s(T92))
pA_in_gaag(T18, T17) → U1_gaag(search_treeB_in_gaa(T18))
pA_in_gaag(T18, T17) → U2_gaag(T17, search_treeB_in_gaa(T18))
pD_in_gaag(T51, T50) → U8_gaag(search_treeB_in_gaa(T51))
pD_in_gaag(T51, T50) → U9_gaag(T50, search_treeB_in_gaa(T51))
pE_in_gaaggaa(T67, T66, T68) → U11_gaaggaa(search_treeB_in_gaa(T67))
pE_in_gaaggaa(T67, T66, T68) → U12_gaaggaa(T66, T68, search_treeB_in_gaa(T67))
U1_gaag(search_treeB_out_gaa(X50)) → pA_out_gaag(X50)
U2_gaag(T17, search_treeB_out_gaa(T21)) → U3_gaag(T21, lessC_in_gg(T17, T21))
U8_gaag(search_treeB_out_gaa(X108)) → pD_out_gaag(X108)
U9_gaag(T50, search_treeB_out_gaa(T54)) → U10_gaag(T54, lessC_in_ag(T50))
U11_gaaggaa(search_treeB_out_gaa(X138)) → pE_out_gaaggaa(X138)
U12_gaaggaa(T66, T68, search_treeB_out_gaa(T71)) → U13_gaaggaa(T71, T66, T68, lessC_in_ag(T66))
U3_gaag(T21, lessC_out_gg) → pA_out_gaag(T21)
U10_gaag(T54, lessC_out_ag(T55)) → pD_out_gaag(T54)
U13_gaaggaa(T71, T66, T68, lessC_out_ag(T72)) → pE_out_gaaggaa(T71)
U13_gaaggaa(T71, T66, T68, lessC_out_ag(T72)) → U14_gaaggaa(T71, pA_in_gaag(T68, T66))
lessC_in_gg(0, s(T87)) → lessC_out_gg
lessC_in_gg(s(T92), s(T93)) → U7_gg(lessC_in_gg(T92, T93))
U14_gaaggaa(T71, pA_out_gaag(X137)) → pE_out_gaaggaa(T71)
U7_gg(lessC_out_gg) → lessC_out_gg
search_treeB_in_gaa(x0)
lessC_in_ag(x0)
U4_gaa(x0, x1)
U5_gaa(x0)
U6_gaa(x0)
U7_ag(x0)
pA_in_gaag(x0, x1)
pD_in_gaag(x0, x1)
pE_in_gaaggaa(x0, x1, x2)
U1_gaag(x0)
U2_gaag(x0, x1)
U8_gaag(x0)
U9_gaag(x0, x1)
U11_gaaggaa(x0)
U12_gaaggaa(x0, x1, x2)
U3_gaag(x0, x1)
U10_gaag(x0, x1)
U13_gaaggaa(x0, x1, x2, x3)
lessC_in_gg(x0, x1)
U14_gaaggaa(x0, x1)
U7_gg(x0)
From the DPs we obtained the following set of size-change graphs: